home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Languages / Caml Light 0.7 / examples / demonstr / loadall.ml < prev    next >
Encoding:
Text File  |  1995-06-01  |  324 b   |  14 lines  |  [TEXT/MPS ]

  1. compile "prop.mli";;
  2. compile "prop.ml";;
  3. load_object "prop.zo";;
  4. compile "lexuniv.mli";;
  5. compile "lexuniv.ml";;
  6. load_object "lexuniv.zo";;
  7. compile "asynt.mli";;
  8. compile "asynt.ml";;
  9. load_object "asynt.zo";;
  10. compile "demo.ml";;
  11. load_object "demo.zo";;
  12. #open "demo";;
  13. print_string "Pour lancer: boucle();;"; print_newline();;
  14.